Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
381	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
382	C OZ: Finding Code that Counts with Causal Proﬁling Charlie Curtsinger ∗ Emery D. Berger Department of Computer Science Add to Reading List Source URL: sigops.org Language: English - Date: 2015-09-14 18:50:58 Concurrent computing Parallel computing Analysis of parallel algorithms Speedup Compiler optimizations Thread Optimizing compiler Yield Volatile Dalvik Program optimization
383	Heterogeneous Treatment Effects in Impact Evaluation Add to Reading List Source URL: evavivalt.com Language: English - Date: 2015-05-15 12:09:39 Evidence-based practices Impact assessment Observational study Systematic review Impact evaluation Philosophy of science Meta-analysis Evaluation External validity Generalizability theory Program evaluation Randomized controlled trial
384	SITUATIONAL ANALYSIS: ADOLESCENT HEALTH AND DEVELOPMENT PROGRAM (AHDP) Administrative Order No.34-A, s 2000, the Adolescent and Youth Health Policy was issued in AprilIt created the Adolescent and Youth Health Sub Add to Reading List Source URL: caro.doh.gov.ph Language: English Adolescence Midwifery Adolescent health Teenage pregnancy Reproductive health Youth Adolescent medicine Adolescent sexuality in Canada
385	Merieux NutriSciences Certification Services 20 King Street Blackburn, Victoria 3130, Australia Certificate of Compliance This is to certify that Food Safety Program developed and implemented Add to Reading List Source URL: www.parmalat.com.au Language: English - Date: 2016-06-14 00:14:14 Food preservation Milk Food science Ultra-high-temperature processing Pasteurization Tetra Pak Food safety Flavored milk Hazard analysis and critical control points
386	http://www.stickyminds.com/BetterSoftware/magazine.asp?fn=cifea Add to Reading List Source URL: www.agitar.com Language: English - Date: 2011-06-20 15:01:26 Software testing Program analysis Software review Concurrent programming languages Cross-platform software Static program analysis Dynamic program analysis Programming tool Lint Application security Software quality Java
387	Computational Science and Engineering (Int. Master’s Program) Technische Universität München Master’s Thesis Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2016-05-10 05:00:23 Computational fluid dynamics Bernhard Riemann Numerical analysis Riemann solver Mathematical optimization Solver Sol Lis
388	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
389	Early and Often: Avoiding Security Flaws with Continuous Integration with High Code Coverage Early and Often: Avoiding Security Flaws with Continuous Integration with High Code Coverage Security vulnerabilities are cau Add to Reading List Source URL: www.agitar.com Language: English - Date: 2011-07-20 16:45:50 Software testing Extreme programming Continuous integration Vulnerability Regression testing Code coverage Software quality Unit testing Dynamic program analysis
390	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_Content.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:31 Software testing Computer security Program analysis Static Application security FxCop FindBugs Worst-case execution time

UPDATE